$\exists$$e$=rcv($l$,${\it tg}$). $P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. kind($e$) $=$ rcv($l$,${\it tg}$) \& $P$($e$)